Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
341	A finite-valued solver for disjunctive fuzzy answer set programs Mushthofa Mushthofa 1 and Steven Schockaert 2 and Martine De Cock1 3 Abstract. Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm wh Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-06-24 13:12:00 Logic in computer science Logic programming Boolean algebra Artificial intelligence Non-classical logic Answer set programming Stable model semantics Fuzzy logic Propositional calculus Theoretical computer science Mathematical logic Logic
342	Conal Mullen Elliott P.O. Box 951 San Andreas, CA[removed]Education Add to Reading List Source URL: conal.net Language: English - Date: 2011-02-10 19:38:08 Functional programming Programming paradigms Functional languages Haskell International Conference on Functional Programming Imperative programming Simon Peyton Jones Software development methodology Journal of Functional Programming Software engineering Computing Declarative programming
343	An Open-source and Declarative Approach Towards Teaching Large-scale Networked Systems Programming Harjot Gill Taher Saeed Add to Reading List Source URL: netdb.cis.upenn.edu Language: English - Date: 2011-03-10 11:56:37 Computer architecture Routing Wireless networking File sharing networks Distributed hash table Chord Peer-to-peer Optimized Link State Routing Protocol Routing protocol Computing Distributed data storage Network architecture
344	On the Declarativity of Declarative Networking Yun Mao AT&T Labs - Research 180 Park Ave, Florham Park, NJ, USA [removed] Add to Reading List Source URL: netdb09.cis.upenn.edu Language: English - Date: 2009-08-12 10:02:51 Programming paradigms Query languages Datalog Logic programming Deductive database SQL Declarative programming First-order logic Oz Computing Software engineering Computer programming
345	A Decade of Progress in Constraint Modelling and Reformulation The Quest for Abstraction and Automation Alan M Frisch Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 11:40:44 Computing Operations research Programming paradigms Mathematical optimization Mathematical modeling Declarative programming AMPL Constraint satisfaction Constrained conditional model Constraint programming Software engineering Computer programming
346	Masterclass Modelling with Constraints Part 1: Introduction Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 10:09:14 Software engineering Constraint satisfaction Mathematical optimization Boolean satisfiability problem Solver Answer set programming Constraint Constraint logic programming AC-3 algorithm Constraint programming Declarative programming Theoretical computer science
347	5th International Workshop on Networking Meets Databases (NetDB[removed]Boon Thau Loo Add to Reading List Source URL: netdb.cis.upenn.edu Language: English - Date: 2010-01-12 20:14:04 Parallel computing Programming paradigms Joseph M. Hellerstein Declarative programming MapReduce SQL ACT-R Operating system Symposium on Operating Systems Principles Computing Software engineering Computer programming
348	A Constraint Satisfaction Approach to Tractable Theory Induction John Ahlgren and Shiu Yin Yuen City University of Hong Kong, Hong Kong, China [removed] Add to Reading List Source URL: lion.disi.unitn.it Language: English - Date: 2012-12-21 02:59:42 Constraint programming Logic in computer science Logic programming Programming paradigms Constraint logic programming Constraint satisfaction Boolean satisfiability problem Horn clause Prolog Theoretical computer science Declarative programming Software engineering
349	Declarative Programming for Modular Robots Michael P. Ashley-Rollman, Michael De Rosa, Siddhartha S. Srinivasa, Padmanabhan Pillai, Seth Copen Goldstein, Jason Campbell Abstract— Because of the timing, complexity, and Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-11-01 14:25:39 Predicate logic Logic programming Predicate ACT-R Loadable kernel module Mereology International Space Station Claytronics Spaceflight Logic Mathematical logic
350	Coq — Recent History SIGPLAN Programming Language Software Award POPL 2014 — San Diego, USA January 23rd 2014 Add to Reading List Source URL: mattam.org Language: English - Date: 2014-01-23 18:22:07 Coq Herbelin Coenzyme Q10 Gérard Huet SIGPLAN Type class Chemistry Declarative programming Software engineering

UPDATE